<html>
<head><meta charset="utf-8"><title>meeting 06.23.2020 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html">meeting 06.23.2020</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="201774597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201774597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201774597">(Jun 23 2020 at 19:57)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="692">@WG-traits</span>, meeting in 3 minutes</p>



<a name="201774657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201774657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201774657">(Jun 23 2020 at 19:58)</a>:</h4>
<p>Link to agenda hackmd: <a href="https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg">https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg</a><br>
Link to sprint goals: <a href="https://hackmd.io/D_wskAmRT52zL9xmhmg0Kg">https://hackmd.io/D_wskAmRT52zL9xmhmg0Kg</a></p>



<a name="201774682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201774682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201774682">(Jun 23 2020 at 19:58)</a>:</h4>
<p>Nothing on the agenda</p>



<a name="201774921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201774921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201774921">(Jun 23 2020 at 20:00)</a>:</h4>
<p>Okay, meeting time</p>



<a name="201774972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201774972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201774972">(Jun 23 2020 at 20:00)</a>:</h4>
<p>Let's start with announcements and updates?</p>



<a name="201775012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775012">(Jun 23 2020 at 20:01)</a>:</h4>
<p>The chalk upgrade (to 0.11.0) PR for rustc was merged</p>



<a name="201775067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775067">(Jun 23 2020 at 20:01)</a>:</h4>
<p>I've been kind of distracted with some other things lately but hoping to put a bit of a turn back to concentrating here</p>



<a name="201775068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775068">(Jun 23 2020 at 20:01)</a>:</h4>
<p>But I probably already have enough for another update</p>



<a name="201775080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775080">(Jun 23 2020 at 20:01)</a>:</h4>
<p>With closures and such</p>



<a name="201775107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775107">(Jun 23 2020 at 20:01)</a>:</h4>
<p>(I'm still interested in pushing mostly on salsa/chalk integration, though I know I also owe <span class="user-mention" data-user-id="216206">@lcnr</span> some reviews and probably some other folks...)</p>



<a name="201775156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775156">(Jun 23 2020 at 20:02)</a>:</h4>
<p>Other than that, it's been a pretty slow week, relatively</p>



<a name="201775188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775188">(Jun 23 2020 at 20:02)</a>:</h4>
<p>Oh, my PR in rustc that improves the leak-check finally landed</p>



<a name="201775246"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775246" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775246">(Jun 23 2020 at 20:02)</a>:</h4>
<p>which is...kind of a big deal in terms of enabling some other things</p>



<a name="201775264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775264">(Jun 23 2020 at 20:02)</a>:</h4>
<p>Repeatedly opening such update PRs should be fine for now</p>



<a name="201775328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775328">(Jun 23 2020 at 20:03)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I saw that...it landed in a rollup even with rollup=never</p>



<a name="201775337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775337">(Jun 23 2020 at 20:03)</a>:</h4>
<p>kind of strange</p>



<a name="201775465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775465">(Jun 23 2020 at 20:04)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> indeed. Right now, most of the updates will essentially just be "catching up" to chalk in terms of builtin traits/types</p>



<a name="201775509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775509">(Jun 23 2020 at 20:04)</a>:</h4>
<p>But I still need to go through and make a list of things that need to be done "right"</p>



<a name="201775538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775538">(Jun 23 2020 at 20:05)</a>:</h4>
<p>I think a lot is blocked on chalk work though</p>



<a name="201775558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775558">(Jun 23 2020 at 20:05)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020/near/201775337">said</a>:</p>
<blockquote>
<p>kind of strange</p>
</blockquote>
<p>yeah I just noticed that, that is strange <span aria-label="shrug" class="emoji emoji-1f937" role="img" title="shrug">:shrug:</span></p>



<a name="201775571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775571">(Jun 23 2020 at 20:05)</a>:</h4>
<p>like Subtyping, type outlives, generators</p>



<a name="201775591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775591">(Jun 23 2020 at 20:05)</a>:</h4>
<p>then, of course, the shared type library</p>



<a name="201775597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775597">(Jun 23 2020 at 20:05)</a>:</h4>
<p>one thing that I keep wanting to do but not doing is to update the skill-tree and "recenter" myself</p>



<a name="201775620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775620">(Jun 23 2020 at 20:06)</a>:</h4>
<p>it's not easy to do :)</p>



<a name="201775696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775696">(Jun 23 2020 at 20:06)</a>:</h4>
<p>Yeah, I have to admit I haven't been doing much work here the past week. Been more focused on work.</p>



<a name="201775707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775707">(Jun 23 2020 at 20:06)</a>:</h4>
<p>shared type library is also a lot of rustc work to move closer to Chalk's types.</p>



<a name="201775724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775724">(Jun 23 2020 at 20:06)</a>:</h4>
<p>Indeed :)</p>



<a name="201775758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775758">(Jun 23 2020 at 20:06)</a>:</h4>
<p>yeah, I think we are still a bit unresolved e.g. on whether it's actually a win to take the chalk version of binder</p>



<a name="201775766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775766">(Jun 23 2020 at 20:07)</a>:</h4>
<p>I'll be trying to cut down on <code>RegionKind</code> variants sometime soonish</p>



<a name="201775793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775793">(Jun 23 2020 at 20:07)</a>:</h4>
<p>(at least I don't think it's totally obvious)</p>



<a name="201775801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775801">(Jun 23 2020 at 20:07)</a>:</h4>
<p>I should get back to my branch on that at some point</p>



<a name="201775814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775814">(Jun 23 2020 at 20:07)</a>:</h4>
<p>We also wanted to experiment on the chalk side with removing them</p>



<a name="201775824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775824">(Jun 23 2020 at 20:07)</a>:</h4>
<p>I'm curious <span class="user-mention" data-user-id="251766">@Areredify</span> whether you've had any time to hack on those changes to the canonicalization logic we were talking about</p>



<a name="201775875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775875">(Jun 23 2020 at 20:08)</a>:</h4>
<p>I'm spread pretty thin right now</p>



<a name="201775889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775889">(Jun 23 2020 at 20:08)</a>:</h4>
<p>And really need to pick my battles</p>



<a name="201775923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775923">(Jun 23 2020 at 20:08)</a>:</h4>
<p>I <em>was</em> looking through the open PRs, trying to figure out what's left to land things</p>



<a name="201775940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201775940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201775940">(Jun 23 2020 at 20:09)</a>:</h4>
<p>Maybe it would be useful to have a sync discussion on that, but maybe not</p>



<a name="201776005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776005">(Jun 23 2020 at 20:09)</a>:</h4>
<p>not a bad idea</p>



<a name="201776006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776006">(Jun 23 2020 at 20:09)</a>:</h4>
<p>Also, I didn't even realize but we only have 2 more weeks in this sprint</p>



<a name="201776015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776015">(Jun 23 2020 at 20:10)</a>:</h4>
<p>doesn't seem like we have a lot of other stuff to talk about just now</p>



<a name="201776064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776064">(Jun 23 2020 at 20:10)</a>:</h4>
<p>oh wow :)</p>



<a name="201776073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776073">(Jun 23 2020 at 20:10)</a>:</h4>
<p>yeah, time flies</p>



<a name="201776102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776102">(Jun 23 2020 at 20:10)</a>:</h4>
<p>So, <a href="https://github.com/rust-lang/chalk/issues/401">rust-lang/chalk#401</a>, sem-syn equality</p>



<a name="201776117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776117">(Jun 23 2020 at 20:10)</a>:</h4>
<p>Curious where that's at</p>



<a name="201776134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776134">(Jun 23 2020 at 20:10)</a>:</h4>
<p>Is that blocked on canonicalization stuff?</p>



<a name="201776153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776153">(Jun 23 2020 at 20:11)</a>:</h4>
<p>well, we landed a "quick fix"</p>



<a name="201776163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776163">(Jun 23 2020 at 20:11)</a>:</h4>
<p>but <span class="user-mention" data-user-id="251766">@Areredify</span> and I were talking about a cleaner implementation</p>



<a name="201776169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776169">(Jun 23 2020 at 20:11)</a>:</h4>
<p>so I think it's semi-blocked</p>



<a name="201776182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776182">(Jun 23 2020 at 20:11)</a>:</h4>
<p>let me check if there's an issue</p>



<a name="201776206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776206">(Jun 23 2020 at 20:11)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/512">https://github.com/rust-lang/chalk/issues/512</a></p>



<a name="201776209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776209">(Jun 23 2020 at 20:11)</a>:</h4>
<p>I was thinking a little bit about the associated type ambiguity problem</p>



<a name="201776266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776266">(Jun 23 2020 at 20:12)</a>:</h4>
<p>but I think that's a bit blocked on sem-syn equality</p>



<a name="201776274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776274">(Jun 23 2020 at 20:12)</a>:</h4>
<p>for how I want to sort of attack it</p>



<a name="201776278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776278">(Jun 23 2020 at 20:12)</a>:</h4>
<p>or try to</p>



<a name="201776315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776315">(Jun 23 2020 at 20:12)</a>:</h4>
<p>Yeah, I think it's important that we adopt the sem-syn equality stuff</p>



<a name="201776350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776350">(Jun 23 2020 at 20:13)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/430">rust-lang/chalk#430</a>, is the syntax writer PR</p>



<a name="201776374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776374">(Jun 23 2020 at 20:13)</a>:</h4>
<p>From what it seems, I think once it's rebased, it might just be worth landing</p>



<a name="201776386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776386">(Jun 23 2020 at 20:13)</a>:</h4>
<p>that makes sense to me</p>



<a name="201776391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776391">(Jun 23 2020 at 20:13)</a>:</h4>
<p>It's not 100%, but it's pretty feature-filled</p>



<a name="201776403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776403">(Jun 23 2020 at 20:13)</a>:</h4>
<p>Was last rebased 2 days ago, so shouldn't be hard</p>



<a name="201776416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776416">(Jun 23 2020 at 20:13)</a>:</h4>
<p>And right now, chalk (and <code>RustIrDatabase</code>) is basically a moving target</p>



<a name="201776421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776421">(Jun 23 2020 at 20:14)</a>:</h4>
<p>I definitely think it's better to land PRs more often and iterate on master</p>



<a name="201776474"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776474" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776474">(Jun 23 2020 at 20:14)</a>:</h4>
<p>agreed</p>



<a name="201776512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776512">(Jun 23 2020 at 20:14)</a>:</h4>
<p>I'll see if I can take the time to rebase today and land</p>



<a name="201776522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776522">(Jun 23 2020 at 20:14)</a>:</h4>
<p>So one thing I didn't see is how the writer will be used</p>



<a name="201776527"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776527" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776527">(Jun 23 2020 at 20:14)</a>:</h4>
<p>Except for tests</p>



<a name="201776592"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776592" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776592">(Jun 23 2020 at 20:15)</a>:</h4>
<p>Well, the idea is that rust-analyzer or rustc could log a given program, for reproducing issues</p>



<a name="201776709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776709">(Jun 23 2020 at 20:16)</a>:</h4>
<p>It could be useful in making benchmarks too maybe?</p>



<a name="201776733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776733">(Jun 23 2020 at 20:16)</a>:</h4>
<p>mmm, possibly</p>



<a name="201776774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776774">(Jun 23 2020 at 20:16)</a>:</h4>
<p>It would be hard to minimize the output though, unless you can narrow it down</p>



<a name="201776826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776826">(Jun 23 2020 at 20:17)</a>:</h4>
<p>Well, it would basically be no different than making a minimal code example</p>



<a name="201776832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776832">(Jun 23 2020 at 20:17)</a>:</h4>
<p>you start with "everything"</p>



<a name="201776834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776834">(Jun 23 2020 at 20:17)</a>:</h4>
<p>well, ideally, you can minimize on the rust side, but in any case just <em>having</em> a test would help to form the minimal code example</p>



<a name="201776839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776839">(Jun 23 2020 at 20:17)</a>:</h4>
<p>and slowly remove</p>



<a name="201776840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776840">(Jun 23 2020 at 20:17)</a>:</h4>
<p>I was thinking about something like c-reduce for chalk programs, but maybe that's a bit too far out there</p>



<a name="201776894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776894">(Jun 23 2020 at 20:18)</a>:</h4>
<p>heh c-reduce might even "just work"</p>



<a name="201776908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776908">(Jun 23 2020 at 20:18)</a>:</h4>
<p>iirc it kind of works with "brace-structured things"</p>



<a name="201776922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776922">(Jun 23 2020 at 20:18)</a>:</h4>
<p>huh, interesting</p>



<a name="201776957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776957">(Jun 23 2020 at 20:18)</a>:</h4>
<p>anyways, let's move on?</p>



<a name="201776978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201776978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201776978">(Jun 23 2020 at 20:19)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/457">rust-lang/chalk#457</a>, "Improve coinduction handling in recursive solver"</p>



<a name="201777003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777003">(Jun 23 2020 at 20:19)</a>:</h4>
<p>I think this is blocked on <span class="user-mention" data-user-id="116009">@nikomatsakis</span> ?</p>



<a name="201777058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777058">(Jun 23 2020 at 20:19)</a>:</h4>
<p>or maybe not</p>



<a name="201777077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777077">(Jun 23 2020 at 20:19)</a>:</h4>
<p>well</p>



<a name="201777135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777135">(Jun 23 2020 at 20:20)</a>:</h4>
<p>I think it is basically ready to land except it isn't really clear if we "want" it</p>



<a name="201777166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777166">(Jun 23 2020 at 20:20)</a>:</h4>
<p>I was debating how I could settle this for myself, I guess the answer is trying to work through specialization a bit more</p>



<a name="201777191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777191">(Jun 23 2020 at 20:20)</a>:</h4>
<p>(also needs a rebase and review comments addressed)</p>



<a name="201777192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777192">(Jun 23 2020 at 20:20)</a>:</h4>
<p>we could certainly land it and then remove the logic if we don't want it</p>



<a name="201777212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777212">(Jun 23 2020 at 20:20)</a>:</h4>
<p>well yeah ok</p>



<a name="201777235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777235">(Jun 23 2020 at 20:20)</a>:</h4>
<p>but it's "code complete" in any case</p>



<a name="201777280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777280">(Jun 23 2020 at 20:21)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/526">#526</a> is also related (negative cycles)</p>



<a name="201777302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777302">(Jun 23 2020 at 20:21)</a>:</h4>
<p>oh wait</p>



<a name="201777306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777306">(Jun 23 2020 at 20:21)</a>:</h4>
<p>sorry</p>



<a name="201777311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777311">(Jun 23 2020 at 20:21)</a>:</h4>
<p>I was confused</p>



<a name="201777329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777329">(Jun 23 2020 at 20:21)</a>:</h4>
<p>I thought we were talking about <a href="https://github.com/rust-lang-nursery/chalk/issues/526">chalk#526</a> indeed</p>



<a name="201777338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777338">(Jun 23 2020 at 20:21)</a>:</h4>
<p>I think we can close <a href="https://github.com/rust-lang-nursery/chalk/issues/457">chalk#457</a></p>



<a name="201777369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777369">(Jun 23 2020 at 20:22)</a>:</h4>
<p>I described a different approach in an issue I think is better, not sure if <span class="user-mention" data-user-id="283967">@Zahari Dichev</span> has been trying to play with that or not --</p>



<a name="201777447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777447">(Jun 23 2020 at 20:22)</a>:</h4>
<p>Hmm okay</p>



<a name="201777459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777459">(Jun 23 2020 at 20:22)</a>:</h4>
<p>ah I did just remember one complication with <a href="https://github.com/rust-lang-nursery/chalk/issues/526">chalk#526</a></p>



<a name="201777465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777465">(Jun 23 2020 at 20:22)</a>:</h4>
<p>that I had forgotten about</p>



<a name="201777471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777471">(Jun 23 2020 at 20:22)</a>:</h4>
<p>we'll close <a href="https://github.com/rust-lang-nursery/chalk/issues/457">chalk#457</a> then</p>



<a name="201777477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777477">(Jun 23 2020 at 20:22)</a>:</h4>
<p>which is related also to coinduction</p>



<a name="201777495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777495">(Jun 23 2020 at 20:22)</a>:</h4>
<p>but I think we should close <a href="https://github.com/rust-lang-nursery/chalk/issues/457">chalk#457</a> regardless</p>



<a name="201777521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777521">(Jun 23 2020 at 20:23)</a>:</h4>
<p>I'm referring to <a href="https://github.com/rust-lang/chalk/pull/526#discussion_r440336092">these comments by <span class="user-mention silent" data-user-id="129457">Florian Diebold</span></a></p>



<a name="201777683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777683">(Jun 23 2020 at 20:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> do you want to talk more about that?</p>



<a name="201777767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777767">(Jun 23 2020 at 20:24)</a>:</h4>
<p>well</p>



<a name="201777776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777776">(Jun 23 2020 at 20:24)</a>:</h4>
<p>not sure :)</p>



<a name="201777784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777784">(Jun 23 2020 at 20:24)</a>:</h4>
<p>That's okay</p>



<a name="201777787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777787">(Jun 23 2020 at 20:24)</a>:</h4>
<p>I guess not at this instant</p>



<a name="201777798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777798">(Jun 23 2020 at 20:24)</a>:</h4>
<p>We can move on for now</p>



<a name="201777845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777845">(Jun 23 2020 at 20:25)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/498">chalk#498</a>, "Where clauses on opaque types"</p>



<a name="201777852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777852">(Jun 23 2020 at 20:25)</a>:</h4>
<p>(if we have some time at the end I can dump some thoughts though)</p>



<a name="201777898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777898">(Jun 23 2020 at 20:25)</a>:</h4>
<p>yeah so I'm feeling still a bit confused about the status here, I'm wondering <span class="user-mention" data-user-id="125131">@detrumi</span> if it'd be helpful to try and setup a pair session or something</p>



<a name="201777934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777934">(Jun 23 2020 at 20:26)</a>:</h4>
<p>Ah yes, I got a bit stuck there on how to lower this correctly</p>



<a name="201777940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201777940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201777940">(Jun 23 2020 at 20:26)</a>:</h4>
<p>but maybe that's not really needed and I just ahve to schedule an hour <em>for myself</em> to go back over everything and get it all in cache :)</p>



<a name="201778021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778021">(Jun 23 2020 at 20:26)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/499">chalk#499</a> too, "[WIP] WF checks for opaque types"</p>



<a name="201778083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778083">(Jun 23 2020 at 20:27)</a>:</h4>
<p>(ps github looks all different...)</p>



<a name="201778132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778132">(Jun 23 2020 at 20:27)</a>:</h4>
<p>I opted in to the preview. Don't know if it's all public now</p>



<a name="201778147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778147">(Jun 23 2020 at 20:27)</a>:</h4>
<p>I don't recall opting in</p>



<a name="201778155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778155">(Jun 23 2020 at 20:27)</a>:</h4>
<p>but maybe they randomly opted me in</p>



<a name="201778168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778168">(Jun 23 2020 at 20:27)</a>:</h4>
<p>or maybe it went public</p>



<a name="201778232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778232">(Jun 23 2020 at 20:28)</a>:</h4>
<p>/me doens't like change</p>



<a name="201778240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778240">(Jun 23 2020 at 20:28)</a>:</h4>
<p>Ok so <a href="https://github.com/rust-lang-nursery/chalk/issues/498">chalk#498</a> and <a href="https://github.com/rust-lang-nursery/chalk/issues/499">chalk#499</a> are "blocked" on <span class="user-mention" data-user-id="116009">@nikomatsakis</span> and <span class="user-mention" data-user-id="125131">@detrumi</span> :)</p>



<a name="201778258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778258">(Jun 23 2020 at 20:28)</a>:</h4>
<p>Heh</p>



<a name="201778282"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778282" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778282">(Jun 23 2020 at 20:28)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/520">chalk#520</a>, "Add Variance and use it for zip"</p>



<a name="201778283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778283">(Jun 23 2020 at 20:28)</a>:</h4>
<p>Not sure if a pairing session is needed, but I could use some hints on how to proceed</p>



<a name="201778331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778331">(Jun 23 2020 at 20:29)</a>:</h4>
<p>ok well let me see if I can schedule some time to go over that</p>



<a name="201778350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778350">(Jun 23 2020 at 20:29)</a>:</h4>
<p>so, I opened this as a draft, for comments and such. Or if someone else wanted to pick it up. I haven't spent any more time with it</p>



<a name="201778354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778354">(Jun 23 2020 at 20:29)</a>:</h4>
<p>:/</p>



<a name="201778371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778371">(Jun 23 2020 at 20:29)</a>:</h4>
<p>(I am reminded that I wanted to play around with some ideas for reworking how impl trait works in rustc...)</p>



<a name="201778427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778427">(Jun 23 2020 at 20:30)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/523">chalk#523</a> I think is good to merge</p>



<a name="201778486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778486">(Jun 23 2020 at 20:30)</a>:</h4>
<p>("Add method to get repr data of an ADT to ChalkDatabase")</p>



<a name="201778498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778498">(Jun 23 2020 at 20:30)</a>:</h4>
<p>It's a fairly small PR</p>



<a name="201778503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778503">(Jun 23 2020 at 20:30)</a>:</h4>
<p><span aria-label="ship" class="emoji emoji-1f6a2" role="img" title="ship">:ship:</span></p>



<a name="201778532"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778532" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778532">(Jun 23 2020 at 20:30)</a>:</h4>
<p>merged</p>



<a name="201778576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778576">(Jun 23 2020 at 20:31)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/524">chalk#524</a>, "[WIP] Support for ADTs"</p>



<a name="201778637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778637">(Jun 23 2020 at 20:31)</a>:</h4>
<p>Other than a rebase, I don't know what needs to be added</p>



<a name="201778783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778783">(Jun 23 2020 at 20:32)</a>:</h4>
<p>Still has WIP in the title, but looks close to done</p>



<a name="201778804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778804">(Jun 23 2020 at 20:32)</a>:</h4>
<p>Right</p>



<a name="201778816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778816">(Jun 23 2020 at 20:32)</a>:</h4>
<p>sometimes people are a bit self-deprecating when it comes to calling their work WIP :)</p>



<a name="201778829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778829">(Jun 23 2020 at 20:32)</a>:</h4>
<p>I don't know if there was something somebody wanted</p>



<a name="201778875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778875">(Jun 23 2020 at 20:33)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="225949">@Nathan Corbyn</span></p>



<a name="201778920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778920">(Jun 23 2020 at 20:33)</a>:</h4>
<p>If somebody else wants to review the changes, I'll rebase today and merge</p>



<a name="201778992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778992">(Jun 23 2020 at 20:34)</a>:</h4>
<p>We already talked about <a href="https://github.com/rust-lang-nursery/chalk/issues/526">chalk#526</a></p>



<a name="201778998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201778998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201778998">(Jun 23 2020 at 20:34)</a>:</h4>
<p>I'm skimming right now but it looks good (EDIT: this was in reference to <a href="https://github.com/rust-lang-nursery/chalk/issues/524">chalk#524</a>)</p>



<a name="201779023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779023">(Jun 23 2020 at 20:34)</a>:</h4>
<p>I mostly just don't know whether it's something we want to land</p>



<a name="201779075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779075">(Jun 23 2020 at 20:34)</a>:</h4>
<p>Yeah, I don't know either =)</p>



<a name="201779099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779099">(Jun 23 2020 at 20:35)</a>:</h4>
<p>I would like to not need to support neg cycles</p>



<a name="201779109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779109">(Jun 23 2020 at 20:35)</a>:</h4>
<p>There's 2 fixme's in <a href="https://github.com/rust-lang-nursery/chalk/issues/524">chalk#524</a>: <code>FIXME(#435) should be B: 'a + ToOwned</code> and <code>FIXME(#505) choose a proper span</code></p>



<a name="201779115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779115">(Jun 23 2020 at 20:35)</a>:</h4>
<p>though the current code isn't even detecting them which is not great</p>



<a name="201779288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779288">(Jun 23 2020 at 20:36)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> at least that first seems like a WF check that we need TypeOutlives for</p>



<a name="201779310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779310">(Jun 23 2020 at 20:36)</a>:</h4>
<p>The second...I don't really care all that much</p>



<a name="201779366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779366">(Jun 23 2020 at 20:37)</a>:</h4>
<p>there are a couple comment FIXMEs that I'll take care of</p>



<a name="201779400"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779400" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779400">(Jun 23 2020 at 20:37)</a>:</h4>
<p>(Hello!)</p>



<a name="201779416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779416">(Jun 23 2020 at 20:38)</a>:</h4>
<p>And finally <a href="https://github.com/rust-lang-nursery/chalk/issues/538">chalk#538</a>, "Fix coherence issue with associated types in generic bound"</p>



<a name="201779471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779471">(Jun 23 2020 at 20:38)</a>:</h4>
<p>I don't know nearly enough about coherence logic to review this</p>



<a name="201779481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779481">(Jun 23 2020 at 20:38)</a>:</h4>
<p>So <span class="user-mention" data-user-id="116009">@nikomatsakis</span> could you take a look</p>



<a name="201779484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mark Drobnak <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779484">(Jun 23 2020 at 20:38)</a>:</h4>
<p>Ya, so I note it in the PR but I'm not 100% sure that this is the right way to fix the issue</p>



<a name="201779496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779496">(Jun 23 2020 at 20:38)</a>:</h4>
<p><span class="user-mention" data-user-id="281572">@marmeladema</span> We were going over open chalk PRs so far</p>



<a name="201779570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779570">(Jun 23 2020 at 20:39)</a>:</h4>
<p>I'll take a look, yes</p>



<a name="201779579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779579">(Jun 23 2020 at 20:39)</a>:</h4>
<p>I've been afraid of that PR :P</p>



<a name="201779589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mark Drobnak <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779589">(Jun 23 2020 at 20:39)</a>:</h4>
<p>Sorry!</p>



<a name="201779600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779600">(Jun 23 2020 at 20:39)</a>:</h4>
<p>Well, now I feel less bad</p>



<a name="201779652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779652">(Jun 23 2020 at 20:40)</a>:</h4>
<p>"Uh oh, I'm going to have to <em>think</em> to review this one"</p>



<a name="201779711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779711">(Jun 23 2020 at 20:40)</a>:</h4>
<p>Okay, well that's all the PRs</p>



<a name="201779750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779750">(Jun 23 2020 at 20:41)</a>:</h4>
<p>I'll rebase those two PRs today</p>



<a name="201779788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779788">(Jun 23 2020 at 20:41)</a>:</h4>
<p>and just merge them if people approve</p>



<a name="201779916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779916">(Jun 23 2020 at 20:42)</a>:</h4>
<p>I approve I think</p>



<a name="201779978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201779978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201779978">(Jun 23 2020 at 20:42)</a>:</h4>
<p>I think I might also go through some issues and triage (i.e. add appropriate labels)</p>



<a name="201780021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780021">(Jun 23 2020 at 20:43)</a>:</h4>
<p>I love that people can claim issues :)</p>



<a name="201780101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780101">(Jun 23 2020 at 20:43)</a>:</h4>
<p>yeah that's the best</p>



<a name="201780116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780116">(Jun 23 2020 at 20:43)</a>:</h4>
<p>Anything else that anyone wants to discuss?</p>



<a name="201780168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780168">(Jun 23 2020 at 20:44)</a>:</h4>
<p>Anybody feeling blocked on something?</p>



<a name="201780187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780187">(Jun 23 2020 at 20:44)</a>:</h4>
<p>I'm good for now.</p>



<a name="201780257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780257">(Jun 23 2020 at 20:44)</a>:</h4>
<p>If nobody has anything, I'm good with ending a bit early</p>



<a name="201780262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780262">(Jun 23 2020 at 20:44)</a>:</h4>
<p>I guess though I'd like some suggestions on things people want from me. I have:</p>
<ul>
<li>review <span class="user-mention" data-user-id="216206">@lcnr</span>  PR</li>
<li>feedback about opaque type etc for <span class="user-mention silent" data-user-id="125131">detrumi</span></li>
</ul>



<a name="201780292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780292">(Jun 23 2020 at 20:45)</a>:</h4>
<p>coherence PR :)</p>



<a name="201780294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780294">(Jun 23 2020 at 20:45)</a>:</h4>
<p>anyway feel free to ping me on that, we don't have to extend the meeting for it..</p>



<a name="201780301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780301">(Jun 23 2020 at 20:45)</a>:</h4>
<p>ah yeah! :)</p>



<a name="201780302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780302">(Jun 23 2020 at 20:45)</a>:</h4>
<p>ok</p>



<a name="201780320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780320">(Jun 23 2020 at 20:45)</a>:</h4>
<p>Also, was thinking</p>



<a name="201780346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780346">(Jun 23 2020 at 20:45)</a>:</h4>
<p>Maybe we might want to take a couple weeks between this sprint and the next?</p>



<a name="201780357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780357">(Jun 23 2020 at 20:45)</a>:</h4>
<p>Give people a summer vacation?</p>



<a name="201780377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780377">(Jun 23 2020 at 20:46)</a>:</h4>
<p>not a bad idea</p>



<a name="201780427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780427">(Jun 23 2020 at 20:46)</a>:</h4>
<p>I am still trying to figure out my own vacation plans</p>



<a name="201780431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780431">(Jun 23 2020 at 20:46)</a>:</h4>
<p>About the chalk PR that landed in rustc, does that unblock some work?</p>



<a name="201780472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780472">(Jun 23 2020 at 20:46)</a>:</h4>
<p><span class="user-mention" data-user-id="281572">@marmeladema</span> mmm, yes and no</p>



<a name="201780480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780480">(Jun 23 2020 at 20:46)</a>:</h4>
<p>I <em>had</em> tickets for Greece on July 10, but that flight was canceled, I may yet go for a few weeks in late July / early August, depends a bit on what the government decides to allow.</p>



<a name="201780483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780483">(Jun 23 2020 at 20:46)</a>:</h4>
<p>it never really "blocked" anything</p>



<a name="201780521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780521">(Jun 23 2020 at 20:46)</a>:</h4>
<p>but, we can discuss separately if you're looking for things to work on there</p>



<a name="201780529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780529">(Jun 23 2020 at 20:47)</a>:</h4>
<p>I know we talked a bit about it</p>



<a name="201780600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780600">(Jun 23 2020 at 20:47)</a>:</h4>
<p>An updated skill tree would be useful here <span aria-label="upside down" class="emoji emoji-1f643" role="img" title="upside down">:upside_down:</span></p>



<a name="201780601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780601">(Jun 23 2020 at 20:47)</a>:</h4>
<p>Yep, i did not spend too much time, i was mainly waiting for the PR to land and was dealing with my own stuff in rustc</p>



<a name="201780720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780720">(Jun 23 2020 at 20:48)</a>:</h4>
<p>Yeah, updating the skill tree would be nice :)</p>



<a name="201780753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780753">(Jun 23 2020 at 20:48)</a>:</h4>
<p>Okay, let's call that for today's meeting?</p>



<a name="201780806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201780806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201780806">(Jun 23 2020 at 20:48)</a>:</h4>
<p>Thanks everyone for attending! I know it was pretty slow and boring, but issue triage is important :)</p>



<a name="201782544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201782544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201782544">(Jun 23 2020 at 21:01)</a>:</h4>
<p>Sorry I missed this - I’ve been away for a couple of days</p>



<a name="201782573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201782573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201782573">(Jun 23 2020 at 21:01)</a>:</h4>
<p>Happy to answer any questions re the ADTs PR tomorrow</p>



<a name="201782622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201782622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201782622">(Jun 23 2020 at 21:02)</a>:</h4>
<p>(UK time)</p>



<a name="201783407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201783407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201783407">(Jun 23 2020 at 21:08)</a>:</h4>
<p><span class="user-mention" data-user-id="225949">@Nathan Corbyn</span> do you just want to rebase?</p>



<a name="201783422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201783422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201783422">(Jun 23 2020 at 21:08)</a>:</h4>
<p>We sort of agreed it's basically good to go</p>



<a name="201783442"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201783442" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201783442">(Jun 23 2020 at 21:09)</a>:</h4>
<p>(with fixing the comments)</p>



<a name="201783468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201783468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201783468">(Jun 23 2020 at 21:09)</a>:</h4>
<p>If not, I still can rebase</p>



<a name="201783588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201783588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201783588">(Jun 23 2020 at 21:10)</a>:</h4>
<p>I think it’s still missing a couple of tests but I’ll rebase it first thing tomorrow morning</p>



<a name="201783623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201783623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201783623">(Jun 23 2020 at 21:10)</a>:</h4>
<p>Life got a bit ahead of me this weekend but I’m back on this now</p>



<a name="201783768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201783768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201783768">(Jun 23 2020 at 21:11)</a>:</h4>
<p>What tests? Looks good to me</p>



<a name="201784453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201784453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201784453">(Jun 23 2020 at 21:16)</a>:</h4>
<p>I haven’t got any tests for some auto trait derives like <code>Copy</code></p>



<a name="201784472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201784472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201784472">(Jun 23 2020 at 21:16)</a>:</h4>
<p>For enums specifically</p>



<a name="201784502"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201784502" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201784502">(Jun 23 2020 at 21:16)</a>:</h4>
<p>But I don’t know how important that is</p>



<a name="201785056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.23.2020/near/201785056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E23.2E2020.html#201785056">(Jun 23 2020 at 21:21)</a>:</h4>
<p>Oh yeah. auto traits (i.e. <code>Send</code>) and builtin traits</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>